Nuprl Lemma : band_ff_simp 9,38

u:. (u  ff) = ff   
latex


ProofTree


Definitionst  T
Lemmasbool wf, bfalse wf

origin